Skip to content

Pin dependencies#709

Merged
mergify[bot] merged 2 commits intomasterfrom
renovate/pin-dependencies
Apr 22, 2026
Merged

Pin dependencies#709
mergify[bot] merged 2 commits intomasterfrom
renovate/pin-dependencies

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented Apr 9, 2026

This PR contains the following updates:

Package Type Update Change
cachix/install-nix-action action pinDigest 6165592
sean0x42/markdown-extract action pinDigest 4178293
tweag/configure-bazel-remote-cache-auth action pinDigest 144b0b9
tweag/run-nix-shell action pinDigest 5d825ec

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.


Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate Bot requested a review from a team as a code owner April 9, 2026 09:48
@renovate renovate Bot added the merge-queue merge on green CI label Apr 9, 2026
@renovate renovate Bot force-pushed the renovate/pin-dependencies branch 2 times, most recently from 8e2b922 to ccbe257 Compare April 15, 2026 08:58
@renovate renovate Bot force-pushed the renovate/pin-dependencies branch from ccbe257 to a1625be Compare April 21, 2026 20:11
@avdv avdv force-pushed the renovate/pin-dependencies branch from a1625be to 364357f Compare April 22, 2026 06:39
@renovate renovate Bot force-pushed the renovate/pin-dependencies branch from 364357f to 14ca9c3 Compare April 22, 2026 06:39
This uses the most recent concrete versions in the comments.
@renovate
Copy link
Copy Markdown
Contributor Author

renovate Bot commented Apr 22, 2026

Edited/Blocked Notification

Renovate will not automatically rebase this PR, because it does not recognize the last commit author and assumes somebody else may have edited the PR.

You can manually request rebase by checking the rebase/retry box above.

⚠️ Warning: custom changes will be lost.

@mergify mergify Bot added the queued label Apr 22, 2026
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Apr 22, 2026

Merge Queue Status

This pull request spent 33 minutes 23 seconds in the queue, including 33 minutes 1 second running CI.

Required conditions to merge
  • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • check-success~=Build & Test - Examples \(.*\)
  • check-success~=Build & Test - Nixpkgs - .*
  • any of [🛡 GitHub branch protection]:
    • check-success = all_ci_tests
    • check-neutral = all_ci_tests
    • check-skipped = all_ci_tests

mergify Bot added a commit that referenced this pull request Apr 22, 2026
@mergify mergify Bot merged commit d88ec6c into master Apr 22, 2026
14 checks passed
@mergify mergify Bot deleted the renovate/pin-dependencies branch April 22, 2026 07:52
@mergify mergify Bot removed merge-queue merge on green CI queued labels Apr 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant